perm filename AMSY8.360[GF,SYS] blob
sn#784676 filedate 1985-02-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T EC⊃x∞E%`α⊗`UPαV e@βU`0⊂↓U@0_↓U 0_↓U0 ↓U0 ↓T`0(↓T`0(↓T`0(↓T`0 ↓T@0(↓T@0(↓T@0(↓T↓Txπ∪AtpπSAuλ↓A@5λ↓A@D`A00α∩` _↓A`DP∧αTPβB@DPβα`DPαC4X↓C@∀("⊂BQ@∂G!00)αJ⊂`(βIpx'↓@P('@⊂_β↓ `λ↓`p_(a_(a_(a_(`p_(`P (` @'Cipx'D p8α↓)`(∧↓ `_¬↓ `_¬@iP_εiP_¬@iP_¬@i@_¬@i@_¬↓ @_∧↓)1%Ci x%β) X"Qλ1 GcPpα∃!¬ ¬∀a5⊂ε∀ P α∀0@↓S`0H↓∪@0PS 4h↓S4`↓R`4X↓R`4X↓R@4P↓R@4P↓R@@pR@@h↓∩@@`↓R@PX↓R`PH↓R``(αRat`εS!4p∧S`T("⊃αqP∂G!08)αj⊂p(βiqλ'↓@`0'@⊂_βAI`λ↓a((a (a (a0_(a0_(a0_(a0_'@a0_'@a0_'@a0_'@a _'a0_'a _'a _&@a _&@a⊂_&@a_&`p &`P(&` 8%C 0X%αI @%↓(T "Dbqx∞CU ∧∀a%⊂¬T!Eα↓ E↓A`4x↓B$x↓B∀xα∪`Dxβ∪a¬βTtxβS@thα∪4X↓R`4P↓R@4P↓R@@PR@@H↓∩@`(α∩AdXε∩a4`∧S@T("⊃C⊃h∂G!`X)D
⊃⊂'Dia_&B 0_&Ap_&@A_+@j`_+j`_*@j⊂`(β)pp'C)p`*j@_)@j0_)@j _)i@λα@i0⊂αi H%α 8%↓I0 "Qλq8
cPxαVu8∧UA5(ε∃0(αT`08α∀@0H↓T@0H↓∀ 0PT 5↓T4x↓C ∀x↓C$x↓B`4x↓B`4x↓B@Dx↓B@Dx↓B Tx↓B Txα↓@txα@a∧xε 4x¬@@5∧@`5λβ↓5⊂↓A@5P↓V@4`C4X↓β4Pαα@4Pαα 4Pβ↓ DPπ∩aDX¬S↓∀pαQ(D@FCqhβ!pλ'@aP⊂'↓!0_'↓A _'↓A⊂_'AA_(↓!_(Ap_(Ap_)`p_)``_)``_)``_)``_)`P_( ⊂_α@ip0α@i`8α↓ `p'βIph(β
8@j_α@ip_β↓ p_β↓ `_βA @(βA)0(∧A (¬↓ ¬@i ⊂π(T $E#↓x∞B ⊂H↓∀AUλπ∀!Uλε∀A∃0↓U@5(↓U 5(↓U 5(↓U 5 ↓U5 ↓U5_↓T`5_↓T@5⊂↓T@5λ↓T 4p∧S↓DXεRAdPεR@ HQ(DPεCqhε p⊂*Bj@`*αj@P*Ak⊂_,@k⊂_,k_,k_,jp_+@jp_+@j`_+j`_*@jP_& p_%@@`_%``_%↓@_%αI H%α 00&↓λT %Gβqx∞B ⊂pα∀@ `β∀ 0P∧∀ 0H∧∀ 0@∧∀ 08αT 00α∀00↓T0(↓T0 ↓T0_↓T0_↓T0⊂↓T0λ↓Tdx↓@ 4xβSa∧x∧Sa∀pα dp↓@`dp↓Atp↓A↓∧h↓AA∧h↓Aa∧h↓B↓∧`↓Ba∧XαβtPαβ@dP↓DDP↓∧@$("∪β↓X⊂π" ,α
pH+αjP`*↓@(*`` )@`p_)@`p_)@``_)@``_)`p⊂)`pλ)j _)j⊂_(@j⊂_(@j⊂_(j_(ip_'@apλ'↓A0_&α``(%EI!0%¬) _αBjP0"Q R∩πcPHT@1λT A↓∀ Pp↓T `h↓T@P`α∀@P`α∀@`PαT@`PαT@p@β∀@p@β∀A0↓@ 5⊂∧↓@e⊂↓@ @0β∀@0λαA0λ↓T@0⊂α↓0λ↓T@0⊂α`0⊂↓T@0⊂α@@0⊂↓T@0_α 0_↓T 0 α 0_↓T 0 βA5λ↓A ` ↓T 0(αA 5λ↓A P(↓T00αA 4`@`08↓A@DX↓@0@↓↓`DP∧α⊂@βR@q⊂βR@a β∩@Q(αR`18↓Q(Dp∞H#qhε!pλ*@A`⊂*aP_*aP_*a@_*a@_*a0_*a0_)A! _)A!⊂_)A!⊂_)A!⊂_)A!_)A@p_)A@p_)A@`_)A`P_)`⊂ α@j _A @_)`⊂(↓@j _↓↓ _)` (↓j⊂_α↓ ⊂_(@`@(@j⊂_αB @λ↓@``@%@@0_βAi @∧↓i 8¬↓I 0ε↓) (πi0_λ(T 'Ec1x∞C@E0βU↓∃_¬TAUλα@A¬αa∀x↓A!$p↓A@ _αS@0`α∪ 0hα∪ 0p↓S0x↓S0x↓R`1↓R`1↓R`1↓R@1λ↓R@1↓R@1↓R@1↓R@0x↓R@0x↓R@@h↓R@@`α∩@PPα∩@p0αRb∧XπS↓Dh¬∪`d("∀β↓X∂G!0H)β*⊂x(∧*↓λ(↓@`0)@`p()@a )a⊂ )a _)a⊂_)a⊂_)a⊂_)`p (@`p (@`@0(C
⊂X(αJH(↓J_'@ip_'i`_&@i@ %A %i ⊂"Q
⊃P∂λβ@xαUa∃(¬∃P_α∀`@_∧∀@0(∧T 0(↓@@U↓C E↓β@Dx↓∧4x↓∧4p↓∧ 4p↓∧ 4h↓D 4h↓D $h↓D $h↓D4h↓D$h↓D$h↓C`$hαβDhαB@Dpβ↓ dxπT↓U⊂¬∃@U β∀↓∧XεB@$X∩C∃0ε⊃(E⊂
π#qh¬B* p(D
↓λ(∧J0β↓J0_∧↓
0_∧↓
0_∧@j _¬j _¬j _∧@j _∧@j _∧j⊂_βA
⊂_α↓J⊂`(BjX(α*@(α)p_↓↓Ip_↓AI`_α↓i`_αA``λ&@`p8αI@ ∧β 0 ¬αI εα _π↓I ⊂λ↓λT )DBqx∞B`E_βTA∃λ¬∀↓Dxα↓Tp↓A`Dp↓A`Dp↓B$hαα∀hα∪ DhαS@TpβSA∀x∧T↓¬λ∧∀`e(α∃ E0↓S⊂H↓R` H↓R@@@↓R@P(α∩ATPε∩a$`∧∪ T("∃β!x∂G#⊂λ&C@`_&ε 1H%ε)!@%!@@+j`_*@jP_*@j@_*j@_*j0_)@j0_)@j _)j _)j _)j )↓* ()↓*0_*(T *E#↓x∞A 4hβ∪pXRaP↓∩aH↓R` _↓B 5↓B 4x↓B@4x↓B 4x↓B 4x↓B 4p↓B@4p↓B 4h↓B@4h↓B@4h↓B@4`↓B@4`↓B@4`↓B@4X↓B`4X↓B@4X↓B@4X↓B@4Pαα DPαα DPαA`P_R@` β@@$Xε tX¬@@d`∧@`T`∧↓Dpα↓`$("∃C↓`∂G @(&α↓@λ%BA ⊂%αa⊂ %β↓ %@P(∧↓
∧↓
∧@j0 ∧j0 ∧j0 ∧j0 ∧j@_∧j@_∧j@_β@j@_β@j@_β@j@_βj@_βj@_α@j@_α@j@_αj@_αj@_↓@j@_↓j@_@j@8*↓J@(*↓
@⊂*(T +Gd1x∞AT`∧α@⊂HRa⊂H↓α$P¬A`@0↓RA08α↓@4P↓↓ @8α↓@5λα↓`@0↓T@08α↓@5⊂↓A`@0↓T@08α↓@5⊂↓A@P0↓T@00αA@5⊂↓A@P0↓T@0(β↓@5⊂↓A `(↓T@0 ↓@ 0(↓T@0 ↓@ 0(↓T@0_↓@@0 ↓T@0_↓@@0 ↓T@0⊂↓@`0_↓T 0⊂↓@`0 ↓T 0⊂↓@`0_↓T 0λ↓A0_↓T `(↓@@5λβ↓ 0λ↓T P0β∀P8αT@8αT0@α∀0@↓T H↓∀⊂PQ(E@
Gcqh∧aP_(A! ((↓`p8'B P8'B @8'@ 0(↓A*@ ↓↓
P_@jP0*AJP(*A*P *A
P_*@jP_*j@_*j0 )A
()↓J⊂8(B p A`@⊂&↓@0`%A@@`%↓@`P%↓!@%a@ "Q⊃H
IcP0α∪``hS@p`↓∪!X↓S!X↓S ⊂ ↓B`5⊂↓B@5⊂↓B@5⊂↓B@5λ↓B@Eλ↓B@5λ↓B@5λ↓B Eλ↓B E↓B@5↓B E↓B E↓BU↓BDx↓BTx↓A`dxα↓@dxαAdx¬@ 4x¬@5∧`5λβ`5⊂α↓5P↓V 5H↓V4`B@4X↓BDPβ↓ DPπ∩ATX¬S↓∧pαQ(EP∞πcqh
@*@Hβj1_)∧j⊃ (¬
⊂∧B
λπkp_/kP_.k0_-k⊂_,jp_+j`_*@j@_)@j _(↓ p 'αA⊂&E)A0%EI!0%↓↓@%(T εCPλ¬β$P
⊃(@0∞πC1Pε@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@I!`%π
p⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂%π !`"Q↓↓`∂εbpP∧∀!eα@@ ⊂αS`0(↓↓ 4p↓A@ 0↓S 08↓↓`4`↓B @↓R`0H↓α 4X↓α@ P↓∩` P↓α@$P↓B@ P↓R@ X↓α`$P↓α` X↓∩CDP∞∩@ X↓α`$P↓α` X↓∩@0P↓α@4X↓α@ P↓∩` P↓α@$X↓B H↓S0@↓α4h↓A` 8↓S@00↓↓@4x↓A (↓TP⊂↓@Uλπ∃↓∧("αCAp
Ea @(CJ(β↓)p_εi`_πiP π↓ @0ε↓I0_↓a _↓i0⊂αa_αI0⊂α@``_α@I _β`@_βi ⊂∧` _∧I ⊂∧AA⊂⊂%A ¬I ⊂¬↓↓ ⊂%A⊂0∧@I ⊂∧` _∧I _β`@_βi0⊂α@``_α@I0⊂αa_αI0_↓a _↓i@0ε↓IP π↓ `_πip_εj(β↓*⊂p*αλT -Ec⊃0!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@1λ↓R`0x↓S0h↓S P8αSAuλ∧Q(E`F"a0βB)`x&A p(&aP_%@ap_%b⊂_%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂"Qa8EB`P↓U5 α∀`U_↓ 5⊂↓@@%⊂↓`5λ↓A%λ↓↓ 5↓A@%↓↓`4x↓B$x↓α 4p↓B@$p↓α`4h↓C$h↓β 4`↓C@$`↓β`4X↓D$X↓∧ 4P↓D@$P↓∧`$("↔bqH¬@⊂ @I _ I0⊂λ@i0_λI@⊂π@i@_πIP⊂ε@iP_εI`⊂¬@i`_¬Ip⊂∧@ip_∧J⊂β@j_βJ⊂⊂α@j⊂_αJ ⊂↓@j _↓J0⊂@j0(*↓
@_*hT ⊃CB∩_
A@%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∩@0_↓`4Pα@ λαS↓$pβ∪@dxα∀%↓⊃(B⊂π∧$1XβJ⊂'A `0'↓I@P%↓ ⊂⊂A) _↓@@0_(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂"Q∧α(∪C"0↓∀$x↓S`$hα∪DP∩RDT`α∪ Dx↓∪`5↓∀$("λ$R8εDβP⊂3@Lp_4M 4A "(% -⊂ 4↓
⊂3@lp⊂3@HT ∩ $phλ↓@!(↓∀!(↓∪`1(↓S`!8↓∪ A8α∪AHα∩DTP∩SAHα∪ A8α∪`!8↓∪`1(↓T!(↓∀!(↓⊃(AP
π"q(∧D*↓ 'A)`_&@i@_%@i0⊂%i ⊂%I ⊂%I ⊂%I _%@I0_&iP_'ip((¬
1λ"Qβ1P∞EbPλRBEPαW 5p↓W`6↓X &λ↓X@&⊂↓_@&⊂↓_@&⊂↓_ 6λ↓_5x↓W@5h↓V@TP
∩B∀("BqHEA h(D p0'↓ P_&i@⊂%@i0⊂%i ⊂%I!8%¬i ⊂%I _%@I0_&I@_&@i` 'AJ⊃*β(T
εCRλ
¬`5xαW UXαV U8αU U_αT TxαS TPβ∩@DPβ∪ TxαT U_αU U8αV UXαW UxαX 48β∩C$P
⊃(A(
π$⊃Pi (&↓)`((↓* (*↓*`(,↓+ (.↓+`00↓`0.↓+ (,↓*`(*↓* ((↓)`(&↓) (%hp0%εI!P"Qα⊃`∂∧b0∞∩CD8β∩CDP∞⊃`dP∞∩CD("∞β↓@
F`⊂
I ⊂
I _ i0⊂ I0_λi@⊂λI@_πiP⊂πIP⊂πIQ⊂'∧ `_¬ip⊂¬Ip_∧@J⊂∧j⊂∧J_βj⊂⊂βJ⊂_αj ⊂αJ ⊂αJ _↓j0⊂↓J00*↓
@ *@JP⊂"Qπ⊃_
Fc0 RB5X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓∩b$X ⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`$P RB4("∞BqH¬β@↓8%¬kp⊂/@Kp⊂/@Kp⊂/@Kp⊂/@Kp⊂"Q
a cP↓∩@$P↓R`$X↓∩`4`↓∪4h↓∪ $h↓S@$p↓∪@4x↓∪`5↓∀%↓T %λ↓∀ 5⊂↓∀@%⊂↓T`%_↓U% ↓∃5(↓∃ %(↓U@%0↓U`%8↓∃`5@↓⊗$(" @@↓B`⊂⊂%↓ %@HT αEαA_ B %⊂α∀ e↓@@4x↓A4p↓A@4h↓B4`↓B@4X↓C4P↓C@4P↓C@4X↓C4`↓B@4h↓B4p↓A@4x↓A5↓@@5λβ∀@E_↓⊃(F0π∧$qh¬@j0((A* 'A p 'A p 'A p 'A p 'A p 'A p 'A ` &↓) (%↓)@('↓ p 'A p 'A p 'A p 'A p 'A p 'A p (↓
⊂()A*P_"QppλIcP↓R@T`αS@Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∀EλαT`U_αT Uα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dpα∪TPαR@4("~@ 8∪G ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%HT _I$qλλA@p`βSA H¬∪!P0εS@(β↓P(α∩`0@α@`@@α∩` Pα@ @Pα∩@0X∧β4P↓β `p↓∩@ pαC@$P↓β`@p↓∩@ pββ $P↓C↓X↓R@@Pα PP↓∩`@@α`P@↓S@(αA`(α∪↓P0εSA H¬∪`p`βQ(G_λ∧D1X¬↓*08)Aj _A
_↓J _)j⊂ (@j⊂_(@j⊂_(@j (↓
(↓
(↓
(↓
(↓
_(j_(j_'A p_'@i0⊂↓i @i 8%↓i0("Q!
∧b0↓∧$P↓C@4X↓C4`↓B@4h↓B4p↓A@4x↓A5↓@@5λβ∀@E⊂α∀ e↓@@4x↓A4p↓A@4h↓B4`↓B@4X↓C4P↓C@4P↓∧$("aaλλ∧@`_(j_(I _↓@@0_%↓ ⊂↓↓ (@@⊂(&αIp 'A @P%↓ ⊂⊂A) ↓@ %`0⊂↓@j_(j_"QA`∂εα``α∃ e(β∃ e(β∃@D8αRCDP∞⊃`E0α∃ e(β∃ e(β∃@D("↓cAp
E↓`%π
p⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂%π !`+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@HT ∧GβaXBA¬λπ∀P0αS`0`↓S@0p↓S 1↓S1⊂↓R`1 ↓R`!0↓∩`!0↓∩@10↓R@!@↓∩@!@↓∩CDP∞∩@!@↓∩@!@↓∩@10↓R`!0↓∩`!0↓∩`1 ↓S1⊂↓S 1↓S@0p↓S`0`↓TP0αT!e ∧⊃(@X∞πC18¬α
⊂p(↓ `('@a@_'a`_&@ap &ap0%@ap_↓i0⊂π@`@⊂%@A`_α@I _ε@``_%AP_∧I ⊂εa⊂⊂%A0_¬I ⊂¬a0⊂%A⊂_εI ⊂∧aP⊂%``_ε@i0⊂α@a`⊂%@@@_π@I0_↓ap_&↓Ap_&A↓p_'a`_'@a@_(↓ `((CJ@@"Q↓A`∂εbpP∧∀!eαA@Tx↓C4p↓C@4h↓D4`↓D@4X↓E4X↓¬@$X↓¬@$P↓B@0H↓R@ PαB $P↓α p@↓∩@ HβB$P↓α p@↓∩@ PαB $P↓α`0P↓∩@10↓R`!0↓∩`!0↓∩`1 ↓S1⊂↓S 1↓S@0p↓S`0`↓TP0αT!e ∧⊃(@h∩Id1Xπα*Px)A@p0(A!P((↓α⊂ '@bP_'bp_&@c⊂_&@C0⊂&c0_&CP⊂%@cP_%@Cp⊂%cp_%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%cp_%@Cp⊂%@cP_&CP⊂&c0_&@C0⊂&@c⊂_'bp_'@bP_(↓α⊂ (A!P()A@p0*CkH"Q↓a βb⊂(β∪!$`α↓DX↓B4X↓α@$P↓B@4P↓β$P↓β$P↓β$P↓β$P↓B@4X↓α@$X↓B4`α↓Dh¬∪`d("βb↓⊂πD P0&BI@`%CI0p%∧ !%∧ !%∧ !%CI0p&β PP'AHT λπβa_ @!@↓∩@A α∩`A⊂α∪ @pα∪@`@β∀α¬_¬⊃`U_¬∀α∧pβαdhαβ@DXα∧@DPα¬DP↓ε$("∧C!h⊂FA⊃λ(Dip('↓ P_&i0_%@I0⊂%i ⊂%I ⊂%I ⊂%i0⊂%@I0_&iP_'↓ p((Dj1λ#AI!P%εHT FCRλ
α∀P V@U`α↔@5x↓X6λ↓_ &λ↓X@&⊂↓_@&⊂↓_@&λ↓X &λ↓_5x↓W@5`α⊗@TP RB∀8β∩C$P
⊃(A0
π$⊃PL ⊂1L⊂_0kp_/kP_-A0*α x%αi x*α0-AP_/kp_0l⊂_1L ⊂1Hp0%εI!P"QαqP∞H# ↓∩@$P↓∩@4X↓S4h↓S@4xα∀e⊂∧∃!uH¬U!u⊂∧∀dxα∪@4h↓S4X↓R@4P↓∩@$P↓⊃`dP
∩C$("εβAp∧β@P(λIPHπI@`¬@i0p¬i0 β↓@` %a p%a0`%A`H%B("Qβ⊃`∂∧B0(αD$h∧C@$`εα`4Xπα@4Xα↓@`0α∩@0Pπ∩@0Xε∩@ p∧R@!αQIp(λIPHπI@`¬@i0p¬i0 β↓@` %a p%a0`%A`H%B("QβB(∪Fbq8↓α@%xααEhαA`UXαA`UPααE@ααE0αA`U αA`U⊂αA`UλααDxααDhαA`TXαA`TPααDPααDXαA`ThαA`TxααEλααE⊂αA`U αA`U0αA`U@ααEPααEXαA`UhαA`UxααFλ↓α@$("π$R8
E`⊂¬I ∧↓ 0(βA)P(βA)p ∧↓
⊂ ∧↓
(βA*@(βA*`(βA+ ∧↓ ∧↓0(βA+P(βA+p ∧↓p ∧↓P(βA+0(βA+ ∧↓ ∧↓
`(βA*@(βA* (βA*⊂ ∧↓ p ∧↓ P(βA)0(βA) ∧↓ ⊂¬HT ∂εCQ8
F&⊂↓_ 6λ↓_5x↓W@5`α⊗@U8β∀A∀Pπ∩Ae⊂∧U`ePαWEp↓W`6↓X &λ↓X@&⊂↓⊃(Ax
π"q(I ⊂%i0⊂%@i@_&@i` 'A*⊂0)B*`p+βJ0H(AIp('↓ P_&i0_%@I _%I ⊂"Q∧R ∪Hc1H↓↓@6_¬Y↓&Hα~V8↓@ &0↓@@&(↓@`& ↓A&_↓A 6⊂↓A`&λ↓X5x↓W@5h↓W5X↓V@5H↓V58↓U@5(↓U5_↓T@5λ↓T4x↓S@4h↓S4X↓R@4P↓⊃(B0∩ d1XI _%@i@_&@i`_'@j_(@j _)@j@_*@j`_+@k_,@k _-@k@_.@k`_/@l_0@l _β@L0_α@l@_αLP_↓@L`_↓Lp_@M(4A@P1Bl0⊂βhT ∪Gβaλ ↓ Q↓∪!⊂p↓∪↓@X↓Ra`P↓R`@0β↓@DP↓BAdP↓BaDP↓βA∀P↓∧T8β∩CDP∞⊃(B@∩Ibq(πK⊂,Jp_+jP *εj!h(A)p0&↓i 8%↓i@8'AJ⊂()π*AX*A
`_+@k⊂,K⊂"Q¬∩(∪EbQ(↓↔`%x↓↔`6↓XDP
RCV_αYf0βZv@βY@v β_`TP∞RC6α_5x↓W`%x↓↔`$("
C↓H⊃Fa0⊂*@J@ *↓
00)AJ00)` _(A (@`@_(↓@ 'A` '↓↓ &↓A0%↓ ⊂⊂∧@⊂(%↓ ⊂∧@ (A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂(A⊂"Q¬1@Hc00↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α%↓α$Pα@ @↓@DPα@ @↓ T`βαdpααDxα↓@Eα↓Eλ↓A5λα@E⊂↓@@5_β∀`e_β∃E α∃ %(↓⊃(B`∩Ibq(¬@A0⊂*@A0⊂*a0_*AP⊂)@aP_)@aP_)¬*⊃8'A"⊂('↓"0(&↓BP0%↓bp8%↓bp8&↓BP0'↓"0('A"⊂((Ej!()@aP_)@aP_*AP⊂*a0_*@A0⊂*@A0⊂"Q¬R ∪λc0↓A@$P¬RA$Xα∩`TX↓ 4X↓@4X↓`4X↓↓4P↓A 4P↓↓`5 ↓U 50↓U`5@↓V 5P↓V`5`↓W 5p↓W`6↓X 6⊂↓X`6 ↓Y 60↓Y`6@↓Z 6P↓Z`6`↓⊃(Bp∩ D1X⊃M0_5m⊂_4lp_3lP_2l0_1l⊂_0kp_/kP_.k0_-k⊂_,jp_+jP_*i ⊂β@i _α@i0⊂αi0⊂↓@i0⊂↓i0⊂@i0(%A P%αi _βHT ↔FCAλλA pPα∪A⊂@αS!0(βS@_β`TX↓A`P⊂α∩` H∧∩@0PβR@ Xβ∩@ `αR@ hα∩@ `β∩@0PβR@0P∧∩`08α@TXαAP_β∪↓@(βS!⊂@β∪``PαQ(C∧BBQ0α@i`('↓)`(&AIP(&A)P(&↓)@(&↓)@ &↓ 0(%A 0 %A %↓ %i _"Qε18F"`εRB¬0β⊗ EX↓W5h↓↔ 5p↓↔@5x↓↔`$PRBux↓↔`%p↓W@%h↓W %`↓V`5Hα∃@dPλ∩AT("
∧"
Fb⊂,A⊂ ,↓K⊂↓Jp_↓j`_αj`⊂βJP_βj@_∧j@⊂¬J0_¬j0⊂εJ _εj⊂_πj⊂⊂λJ_λj⊂ Ip_ i`_
i`⊂IP_i@_i@⊂
I0_
i0⊂∞I"⊂%λHT ~HDAX @∧$P⊃∩`!`↓∩`1P↓S!P↓∪1@↓S 10↓S@!0↓∪@1 ↓S`1⊂↓T!⊂↓∀1↓T !↓∀ 0p↓T@0`↓T` `↓∀`0P↓U P↓∃0@↓U 00↓U@ 0↓∃@0 ↓U`0⊂↓V ⊂↓⊗eHα⊗ EP↓⊃(C0
εD1X K0_-@K _-K⊂_,@K_,Jp_+@J`_+JP_*@J@_*J0_)j ⊂(@j⊂⊂(j⊂'@ip⊂'i`⊂&@iP⊂&i@⊂%@i0⊂%i ⊂"Qεp_αC"↓∩@$P↓∩@$P↓∩@$P↓R@4P↓∩@$P↓∩@$P↓∩@$("∞b↓⊂∂G!@⊂+IpH'α)P ↓↓ @ α↓ 0 αA)0 αA)0_αAI α@@⊂ %↓P⊂A α`⊂ %↓@⊂↓↓ α@ %↓0_↓↓ ↓@@0 %↓0⊂↓A ↓`0 %↓ ⊂α↓ ↓@@ %↓⊂_α↓ @@P %↓⊂⊂αA 00α@i0(αA 0(αA @ α↓ @(↓↓)PP&α)@⊂&HT ≡εcQX
@`P@β∩a⊂ ∧∩@@_α@@λαR@0(βADP↓A@P(αR@@(αA@TPαA@@α∩`P α↓`T`α↓@@α∪ @_ααThα`@Hα∪@0_ααTp↓@b∧p↓@adp↓@`@_α∩@ ⊂↓@`@_α∩@ λ↓A@_α∩@` α`DXα↓ @_α∃@_α∃@_α∃@_α∩`0(α↓DPα↓ @ α∩@0(α↓ P⊂↓R`@⊂αAA∀`∧Aa∧pαB@T("∂#1h
F`PH&C)@(α↓I0 ∧↓)0_¬↓) ¬A @_%aP ↓A _εBI _πα %@ap(%A!0H&↓A(A)`8α↓ @_(↓ @ α@k⊂ ,A+ -↓+0(%↓A@(%α↓0(&AA0 'A! (↓@p((A@08)C*@H"Qπa`∂εc0∞∩CE8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`$("∂cAp
FaP⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@I!`%πλT ¬"qX
@ X↓∩@0P↓R@0P↓R@@Hα∩@@HαR@PHβ∩`PHβ∪PHαS P@αS@P8αS@`(β∪! ↓ $`α P_↓∪0_α`$`↓A@⊂↓∩`@(α $Xα↓ tXα↓@dXα↓`TXαA`T`ααT`αBThαα ThαB Dpαα Dpαα@4XβB@4Xβα`$("↔"qH¬@⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂∧@A⊂%A⊂⊂∧I ⊂∧@A⊂%A⊂⊂∧I ⊂∧@A⊂%A⊂⊂∧I ⊂↓β` ⊂%@ x↓I ⊂∧@A⊂%A⊂⊂∧I ⊂∧@A⊂%A⊂⊂∧I ⊂∧@A⊂%a⊂β@i0_π@i@_ε@iP(βA)`x(B(T 0¬"qX
@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P
RBTP↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓⊃(Fλ
Ec1X @KP⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂.@I!(%¬+P⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂"Q PλIcP↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P¬∩A$("_a X∪G!⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)I P%αHT 2αB∩8∞@↓$P¬∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓⊃(F(¬αdqhαI P)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂"Q
HεIcP8↓∀ %↓T%↓∪`4x↓∪@4p↓∪@$h↓S $h↓∪4`↓∩`4X↓∩`$P↓R@$P↓∩@4X↓∩`$X↓S$`↓S $h↓∪ 4p↓∪@$p↓S`$x↓T%↓∀5λ↓∀ $("~!⊂X∪G ⊂%I _%@I0⊂%@i@⊂&iP⊂&@IP_'I`⊂'ip⊂'@j⊂(J_(@J⊂⊂(j⊂(Ip_'@I`_'I`⊂&@iP⊂&@I@_&I0_%@I0⊂%i ⊂%HT 5Cαα8∞@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓⊃(F`π∧$qhβJ⊂'A `0'↓I@P%↓ ⊂⊂A) _↓@@0_(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂%`0⊂↓@i (@@⊂(&αI`0'↓Ip (J⊂"Q
Q@IcPX↓∃ % α∃E_β∀`e_β∀@0⊂↓T @⊂α∀ 0 ↓T@ α∪`@0α∪@@@α∪`@β∩@Pλ↓α λαR@@⊂↓α ⊂α∀ @↓∀ @↓∀ @↓∀ @↓∀ @↓∀ @↓∀ @↓∀ @↓∩@@⊂↓α ⊂α∩@Pλ↓α λαS`@β∪@@@α∪`@0α∀@ α∀ 0 ↓T @⊂α∀@0⊂↓T`e_β∀`e α∃E(↓∃ $("≠`pH
E`_%↓)@ &@iP 'i`_'i`_'i`_&@iP_&i@_%@i0_%i _%i _%i _%↓ 0_%A @('hT 8λDB8H&H↓Z6@↓→`68↓→@60↓→ 6(↓→6 ↓_`6_↓_@6⊂↓_ 6λ↓_4p↓∧$hαβ@4Xββ@$P∧β4P↓@@`↓∪@PP↓S`@P↓∪`P@↓T@@↓∀P0↓T @0↓∀ P ↓T@@ ↓∀@P⊂↓T`@⊂↓∀a¬ β∃e(α∃ E0↓⊃(Gλ∞πC1Xα``X%α``X'↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ %π !`"Q∞!p⊂εc0∂∩CdX∞∩cD`α¬$`αD@4hα∧@$hαD4pα∧$pαC@4xαβ@$xαC5αβ%αB@5λαB5⊂αα%⊂αA@5_α↓@%_αA5 α↓% α@@5(α@%(∧∃@e0β∃`E8α⊗$("≥αqH¬@⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I ⊂ @I!8%¬hT :Ec⊃0αtPR@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓⊃(G0
π$⊃PεI!P%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I!P%εHp0%εI!P"Q∞qP∞H#
∩C&⊂↓_@&⊂↓_@&⊂↓_@&⊂↓_@&⊂↓_@&⊂↓_@&⊂↓_@&⊂↓_@&⊂↓_@&⊂↓_@&⊂↓∩C$P
⊃`dP
∩C$("≡↓@x⊃F`00&α 0 ↓@i α@i _αA _αA _βI _%i %A @(&↓i0 A αi _βi _βi _βi _βi _βi _βi0_α↓ @ A P8'A*⊂ )↓
0_)@i0⊂βi α@i α@i _αA 0_↓A @@&AHT <CBα_
A@$xα∪`Dxα∪`Dxα∀%↓∩`@λ↓ DPπ∩AdXα λα∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓⊃(GPπ∧∧1XβIp 'A p 'A p (I0 @@⊂ %βI p%A⊂⊂A
⊂'A p 'A p 'A p 'A p 'A p 'A p (I0 @@⊂ %βI p%A⊂⊂A
⊂'A p 'A p 'A
⊂"Q∂1(Hc08π∪b∧h¬@@$`ε@$Xε@@$Xε@@$Pπ@$Pπ@$Pπ@$Pπ@$Pπ@$Pπ@$Pπ@$Xε@@$Xε@@$`ε@$h¬@@$x∧@@%λβ@@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@%0↓@$("∨βAp∂Fa00)BJ `)β
⊂p(CJ⊂p(∧
↓(CJ⊂p(CIa &ε A@%FI!`%π !`%π !`%π !`%FI0X@@⊂X&α@⊂⊂BIPH@@⊂H'A 0⊂↓A*p⊂+↓
` +↓λT >Gβax
C %0α∃@E(β∃0⊂↓U ↓∀`0 ↓T@00↓T 0@↓T0P↓T `↓∪`0`↓S @pα∪Aα∩`1 ↓R@10↓R@10↓R`1 ↓SAα∪ @pα∪`0`↓T `↓∀0P↓T 0@↓T@00↓T`0 ↓U ↓∃0⊂↓U e0α∃@E8↓⊃(Gp∞πC1XαA!(&B @H&↓0 ↓↓0 %@`p0β@i0⊂∧A↓⊂⊂%a⊂ ∧@i ⊂¬@A0⊂%A0⊂¬@I ⊂I ⊂I _i0⊂I0_
i@⊂
I@_ iP_λi`_πip_εj_¬j⊂_∧j ⊂∧J _βj0_αj@_↓jP0+↓
p⊂+@HT ?Gβax
C %8↓∃@E0α∃ e ∧∀a%⊂ε∀!eλ∪b$p
∪"d`∪β∧X
∩c$P∞∩CDP∞∩CDP∞∩CDX
∩c$`¬ λ¬∪!⊂↓A∧pβ` _β∃`%0α∃@E0α⊃?A @∂(e¬→ α>gα>g∧␈x␈␈{ β←0 GX*U λ}d⊂@↓≥p≤@T=H1PαP3_⊃H{⊃β∧jl⊂.O0"E@@|9z}d0
@↓π_G⊂ =Hqhαq8p)λ{∩β ¬_q`c/0$E @@↓f}dP
␈PU@_s=I1xβλq`C8{∪βpε⊃c@↓⊗O0&J↓π∞ αE>dp∂@↓D8∞(e=Iq`αi∞ f_{∀α`∧;∞ ↓[∂0(H`p∃*`βM>e⊂⊂@↓S@r8U=J18α#G⊂↓↓x{∃β∧g;`α∂∂0*F`X∧" ∧0}e0
@↓0@D@H&=Jr_β;]p↓≤8{⊗βpε⊃c@αQo0,G X:>@¬=>eP∂@↓D8∞XE=@αλβ'∞ ↓=X{↓D⊂εN≤@α|o0∧λ h≤9ε >`P⊂@↓S@r`↑=K1`αjU(↓UX{↔β@¬U*Pβ7/0/πX*U πε>ex∞↓5(*@p:=D1(α⊂↓lx{λBP∧ βdo0⊂
@↓λπ←>bλ∃α⊂xP=DBP∧ ↓|_{εD⊂εN≤@β␈o0
H h≤9λ
>c⊂∞↓5(*@↓6=BBλβ'∞ α
8{¬$⊂εN≤@∧≤o0λH h≤9λI>c@↓↔λc@↓λ≡=G⊃@α.≤8α~({∞C@¬U*P∧<O07¬ @@ >`λεK@r↓⊂,=@Q(α⊂α&8{→BP∧ ∧V/03E @@ B>fPεK@r↓_0=F∩P∧ α;8{≤bP∧ ¬¬/0↓λ h≤9
>`_
@↓λ↓ h=@Bλβ'∞ αQλ{↓d⊂εN≤@¬'∂0∧H h≤9
]}`X⊂@↓S@r↓(q=ABλβ'∞ αfh{β% λ@¬]/0π¬ @@↑>`x
@↓λ↓8\=Bαλβ'∞ α⎇x{∧D⊂εN≤@εβ∂0 H h≤9∃}a0⊂@↓S@r↓@K=Brλβ'∞ β
({ε∧⊂εN≤@ε"O0H h≤9P>a`∃α⊂↓HJ⎇CRP∧ β `{πD⊂εN≤@εP?0∂H h≤9
.↑b(∃α⊂↓Px⎇DbP∧ β4p{ d⊂εN≤@εu?0∀
@↓λ
w↑bH∃α⊂↓`
⎇E!PαL8pβD`{
c ¬_q`π≠←0⊗
@↓λ∞[↑bh∃α⊂↓hf⎇EbP∧ βbP{d⊂εN≤@πP␈0_α` >≤@∂7↑c_∞↓5(*@↓xλ⎇FB0βcG⊂βt`{
$`πG∞ πv␈0≠⊂λ↑c8α8⎇G1(α⊂∧ {∂βpε⊃c@λ$␈0≡G``#G⊂s≡cp⊂@↓S@rα⊂≤⎇Grλβ'∞ ∧'@{⊂β ¬_q`λV␈0.GX*U ⊃N≡f
↓&_Gα_Y⎇L⊃PαL8p∧?⊂{_B0βcG⊂ ε∨01D`8G∞ ∩"≡f @xp≤@α o⎇LQ_↓qcH∧S0{~αβ'∞ 1←04D0N≤@∩y≡fX
@↓λα0≥⎇MA(α⊂∧n⊂{≠# ¬_q` i∨07C \9∪y≡g⊃@↓bPU@α@⊃⎇N∩β_¬ P{≤D0π
U0
!←0:πX*U ∀\≡g(∞↓5(*@αHg⎇Nbλβ'∞ ¬"p{≥d⊂εN≤@
M←0<∧`8G∞ ∃+≡gH @xp≤@αX⊃⎇O!_↓qcH¬7P{≡c ¬_q`
{∨0>λ h≤9⊗≠≡gh⊂@↓S@rα`a⎇Obλβ'∞ ¬SP{∨d⊂εN≤@6␈H¬`PAw{⎇xow{⎇x